Remove bogus extra unmap_domain_page() call in
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 28 Nov 2005 15:17:03 +0000 (16:17 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 28 Nov 2005 15:17:03 +0000 (16:17 +0100)
commit298ec42fe70f6c45d36e05509b99b39ed088b2d9
tree8b910df35adb00b641ab24adf25a73bc196914ad
parentf72ca19a2920f0ef6c225dfdf2f9cad2b22b7811
Remove bogus extra unmap_domain_page() call in
free_monitor_pagetable().

Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/shadow32.c
xen/arch/x86/shadow_public.c